Klaus Herm

Klaus Herm (geboren am 12. Mai 1925 in Dresden; gestorben am 20. Januar 2014 in Overath) war ein deutscher Mathematiker und Logiker. Er leistete bedeutende Beiträge zur Mathematischen Logik und Theoretischen Informatik.

Wichtige Beiträge und Forschungsgebiete:

• Rekursionstheorie: Herm beschäftigte sich intensiv mit der Rekursionstheorie und deren Anwendungen. Rekursionstheorie
• Logische Grundlagen der Mathematik: Er forschte zu den Logischen Grundlagen der Mathematik und zur Beweistheorie. Logische%20Grundlagen%20der%20Mathematik Beweistheorie
• Automaten und Formale Sprachen: Er befasste sich mit Automaten und Formale Sprachen, was für die Theoretische Informatik von großer Bedeutung ist. Automaten%20und%20Formale%20Sprachen Theoretische%20Informatik
• Berechenbarkeitstheorie: Seine Arbeiten trugen zur Berechenbarkeitstheorie bei, die sich mit den Grenzen des Berechenbaren beschäftigt. Berechenbarkeitstheorie

Lehrtätigkeit:

Klaus Herm war Professor an der Universität Münster, wo er maßgeblich die Lehre und Forschung im Bereich der Mathematischen Logik prägte.

Veröffentlichungen (Auswahl):

Sein bekanntestes Buch ist "Einführung in die Mathematische Logik".